properties of expectation proof